72,75€(IVA inc.)
Automated technology for verification and analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
- Liu, Zhiming
- 978-3-642-04760-2
- 2009-11-01
49,92€(IVA inc.)
Dependable Software Engineering: Theories, Tools, and Applications
- Li, Xuandong
- 978-3-319-25941-3
- 2015-10-27
52,00€(IVA inc.)
Engineering Trustworthy Software Systems
- Bowen, Jonathan P.
- 978-3-319-56840-9
- 2017-05-08
52,62€(IVA inc.)
158,70€(IVA inc.)
Integrated Nanophotonics: Platforms, Devices and Applications
- Yu, Peng
- 978-3-527-34912-8
- 2022-04-20